Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
851	Linguistic choice and the criterias of efficiency and efficacy in business companies of Catalonia. Implications on inclusion and exclusion of social and linguistic groups. Amado Alarcón, Unit of Sociology. Department of Add to Reading List Source URL: www.crisaps.org Language: English - Date: 2010-02-15 09:58:30 Language acquisition Linguistic competence Noam Chomsky Psycholinguistics Communicative competence Language Minimax Fuzzy logic Linguistics Science Knowledge
852	conduitt! condu Volume 2, Number 2 Department of Computer Science Brown University Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2000-07-06 15:19:07 Computer programming Pascal Object-oriented programming Programming language Computer graphics Computer science Actor model Paris Kanellakis Logic programming Software engineering Computing Programming paradigms
853	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2010-08-28 23:41:19 Logic in computer science Logic programming Automated planning and scheduling Formal methods Conjunctive normal form Situation calculus Planning Domain Definition Language Algorithm Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
854	Domain Theory in Topical Form Steve Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-02-22 04:56:46 Mathematical logic Science Logic Domain theory Model theory Academia Mathematics Sheaf theory Topos
855	GT-VC 2005 Preliminary Version Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names 1 Mikkel Bundgaard 2 Thomas Hildebrandt 3 Department of Theoretical Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2009-02-19 09:48:16 Computer science Logic Predicate logic Process calculi Π-calculus Lambda calculus Explicit substitution Free variables and bound variables Symbol Theoretical computer science Mathematics Applied mathematics
856	Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California TACL 2013, July 29, Vanderbilt University Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2013-09-06 00:51:19 Algebraic logic Fuzzy logic Logic in computer science Algebraic structures Electronic design automation Satisfiability Modulo Theories MV-algebra Boolean satisfiability problem Propositional variable Mathematics Mathematical logic Logic
857	A Generic Persistence Model for (C)LP Systems J. Correas∗ , J. M. G´omez∗ , M. Carro∗ , D. Cabeza∗ , and M. Hermenegildo∗,∗∗ (∗) School of Computer Science, Technical University of Madrid (UPM) (∗∗) Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2003-09-01 02:44:36 Database management systems Prolog Query languages Deductive database Logic programming Database SQL Predicate Persistence Computing Software engineering Computer programming
858	SOME HISTORICAL REMARKS ON SWITCHING THEORY Radomir S. Stankovi´c1 , Jaakko T. Astola2 , Mark G. Karpovsky3 1 2 Add to Reading List Source URL: ticsp.cs.tut.fi Language: English - Date: 2008-03-20 17:53:22 Electronic engineering Fellows of the Royal Society Electronic design Electronic design automation George Boole Mathematical logic Boolean algebra Claude Shannon The Laws of Thought Mathematics Algebraic logic Science
859	BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-01-20 05:23:35 Computability theory Formal languages Logic in computer science Lambda calculus Models of computation Reduction strategy Standard ML Function Normal form Theoretical computer science Mathematics Programming language theory
860	Peter LeFanu Lumsdaine Institute for Advanced Study Beck–Chevalley conditions for dependent type theory Dependent Type Theory is a powerful and congenial basis for logical systems, but the study of its models is plague Add to Reading List Source URL: web.science.mq.edu.au Language: English Nicolas Bourbaki Algebraic structures Pullback Model theory Coherence theory of truth Mathematical logic Functor Structure Mathematics Algebra Claude Chevalley

UPDATE